8.9 整数は全順序